Source code analysis, management, and visualization for PROLOG
نویسنده
چکیده
منابع مشابه
Interprocedural Register Allocation for the WAM based on Source to Source Transformations
An approach for interprocedural register allocation for the WAM is presented which is based on source-to-source transformations of an intermediary language called Continuation Prolog. Continuation Prolog fills the conceptual gap between Prolog source code and the underlying abstract machine. Our approach does not require an analysis of the whole program. Only the definition of a predicate must ...
متن کاملSoftware visualization in Prolog
Software visualization (SV) uses computer graphics to communicate the structureand behaviour of complex software and algorithms. One of the important issues inthis field is how to specify SV, because existing systems are very cumbersome tospecify and implement, which limits their effectiveness and hinders SV from beingintegrated into professional software development tools.I...
متن کاملProgram Comprehension Theories and Prolog based Methodologies
Software maintenance is said to account for more than 50 % of all software efforts. Of this the attempts to understand the code can take 70 %. In spite of its importance, program comprehension is not well understood. This paper tells how Prolog can be used in modeling source code. An essentially new method, symbolic analysis, is presented and compared to static and dynamic analyses, which form ...
متن کاملCollecting and Analyzing Provenance on Interactive Notebooks: When IPython Meets noWorkflow
Interactive notebooks help users explore code, run simulations, visualize results, and share them with other people. While these notebooks have been widely adopted in teaching as well as by scientists and data scientists that perform exploratory analyses, their provenance support is limited to the visualization of some intermediate results and code sharing. Once a user arrives at a result, it i...
متن کاملSource Code Verification for Embedded Systems using Prolog
System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be elegantly analyzed with the logic programming language Prolog. Moreover, Prolog offers further advantages for a thorough analysis: On the one hand, it natively provi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008